Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·18h
📊Static Analysis
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·17h·
Discuss: Hacker News
📝Concrete Syntax
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·15h
⬆️Lambda Lifting
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·6h·
Discuss: DEV
⚡Proof Automation
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·22h·
Discuss: Lobsters
🔗Functional Compilers
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
Interest(s)
languagelog.ldc.upenn.edu·2h
🔤Morphological Analysis
Week 31 Status
blogs.gnome.org·2d
🦀Rust Macros
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
⬌Bidirectional Typing
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·22h
🔗Functional Compilers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
TypeScript 5.9 creates leaner tsconfig.json files
heise.de·2d
🔄Language Evolution
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·1d
🔗Concatenative Programming
Coding with Claude
blog.puzzmo.com·1d·
Discuss: Hacker News
🚀Indie Hacking
warp v0.4
seanmonstar.com·11h
🔌Interface Evolution
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·18h
🛡️CLI Security
Python performance myths and fairy tales
lwn.net·14h·
Discuss: Lobsters, Hacker News
💻Programming languages